Representing Control Constructs in Object-Flow Process Diagrams

نویسنده

  • Mor Peleg
چکیده

Compositions of command statements, branching, iteration and recursion are primarily used in high-level programming languages to devise algorithms and obtain structured control flow. These structuring building blocks may also be instrumental for describing real-life systems in analysis and design methodologies at any complexity level. While composition and branching are incorporated into most prevalent analysis and design methodologies, they lack the capability of explicitly expressing iteration and recursion. We propose a method for incorporating case statements, iteration and recursion into Object-Process Diagrams, which are the visual formalism used in the Object-Process Methodology. A detailed case study dealing with testing samples of raw metal powders used in an industrial process of manufacturing inserts by sintering technology demonstrates the mechanism of this visual formalism.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

SystemCSP: A graphical language for designing concurrent component-based embedded control systems

ion representing a guarded alternative contains data members for guarded event ends and for associated logical conditions. The guarded alternative control flow element participates in the synchronization mechanism on the behalf of the event-ends it is guarding. The renaming operator specifies renaming rules as a set of strings containing pairs of old and new names. The hiding operator maintains...

متن کامل

Extending the Object-Process Methodology to Handle Real-Time Systems

There is general consensus in the software literature that real-time systems are difficult to model, specify, and design. It is an important and challenging task to develop an intuitive and easyto-use, yet coherent and concise method for specifying such systems. The Object-Process Methodology (OPM) graphically specifies systems in a single unified model that describes the staticstructural and b...

متن کامل

Object Flow Definition for Refined Activity Diagrams

Activity diagrams are a well-known means to model the control flow of system behavior. Their expressiveness can be enhanced by using their object flow notation. In addition, we refine activities by pairs of preand post-conditions formulated by interrelated object diagrams. To define a clear semantics for refined activity diagrams with object flow, we use a graph transformation approach. Control...

متن کامل

Enterprise Modelling: Objectives, Constructs and Ontologies

Enterprise Modelling (EM) is the art of externalising and formalising structural and behavioural knowledge about how an organisation is organised, how it works and to some extent how it performs. EM equally applies to a single organisation, a networked organisation, or part of these. The aim is to build models to represent, analyse, design and simulate various facets of an organisation (e.g. fu...

متن کامل

A Reference-Scheme for Describing Organizations

Graphical languages such as dataflow diagrams, entity-relationship diagrams or organization charts are used to describe various aspects of organizations. These languages have their origins in the field of software-engineering and organizational theory. Looking at organizations regarding Grochlas sociotechnical systems [Grochla, 1978, p. 10] these languages describe the rules, which have to be f...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003